Search Results
Emily Riehl: "Contractibility as uniqueness"
Contractibility as uniqueness - Emily Riehl
HoTT Lecture 6: Contractible Types -- HoTTEST Summer School 2022
Emily Riehl on Topology, Categories, and the Future of Mathematics
Emily Riehl | Feb 16, 2021 | Elements of ∞-Category Theory
Emily Riehl: On the ∞-topos semantics of homotopy type theory: categorial semantics... - Lecture 1
Emily Riehl: On the ∞-topos semantics of homotopy type theory: The simplicial model of...- Lecture 2
MEET a Mathematician! - Emily Riehl
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains
Emily Riehl: On the ∞-topos semantics of homotopy type theory: All ∞-toposes have... - Lecture 3
"∞-Category theory for undergraduates", talk by Emily Riehl at CQTS @ NYU Abu Dhabi, December 2023
HoTT Lecture 7: The fundamental theorem of identity types -- HoTTEST Summer School 2022
